direct proofs examples